Cooperative Graph - Based Model Predictive Search ∗ Technical Report
نویسندگان
چکیده
We present a receding-horizon cooperative search algorithm that jointly optimizes routes and sensor orientations for a team of autonomous agents searching for a mobile target. By sampling the region of interest at locations with high target probability, we reduce the continuous search problem to an optimization on a finite graph. Paths are computed on this graph using a receding horizon approach, in which the horizon is a fixed number of waypoints. To facilitate a fair comparison between paths of varying length on a non-uniform graph, we use an optimization criterion corresponding to the probability of finding the target per unit time. Using this algorithm, we show that the team discovers the target in finite time with probability one. Simulations verify that this algorithm makes effective use of agents and performs significantly better than previously proposed search algorithms. We have also successfully tested this search algorithm on a physical system consisting of two UAVs with gimbal-mounted cameras.
منابع مشابه
A novel cooperative game between client and subcontractors based on technical characteristics
Large projects often have several activities which are performed by some subcontractors with several skills. Costs and time reduction and quality improvement of the project are very important for client and subcontractors. Therefore, in real large projects, subcontractors join together and form coalitions for improving the project profit. A key question is how an extra profit of cooperation amo...
متن کاملCooperative Control of Mobile Robots in Creating a Runway Platform for Quadrotor Landing
Multi-agent systems are systems in which several agents accomplish a mission in a cooperative manner. In this paper, a novel idea for the construction of a movable runway platform based on multi-agent systems is presented. It is assumed that an aerial agent (quadrotor) decides to make an emergency landing due to reasons such as a decrease in energy level or technical failure, while there is no ...
متن کاملTechnical Solutions for Conceptual Design Search Automation
Submitted: Aug 7, 2013; Accepted: Sep 18, 2013; Published: Sep 25, 2013 Abstract: Existing search design automated systems during the conceptual design perform engineering solutions in the form of a sensing control system elements physical principle. The basis of the technical solutions have laid down a number of different approaches: formalized natural science, the scientific and technical eff...
متن کاملIncreasing the Accuracy of Cooperative Localization by Controlling the Sensor Graph
We characterize the accuracy of a cooperative localization algorithm based on Kalman Filtering, as expressed by the trace of the covariance matrix, in terms of the algebraic graph theoretic properties of the sensing graph. In particular, we discover a weighted Laplacian in the expression that yields the constant, steady state value of the covariance matrix. We show how one can reduce the locali...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کامل